A Logic Programming E-Learning Tool For Teaching Database Dependency Theory
نویسندگان
چکیده
In this paper, we describe an “intelligent” tool for helping to teach the principles of database design. The software that we present uses PROLOG to implement a teaching tool with which students can explore the concepts of dependency theory, and the normalization process. Students are able to construct their own learning environment and can develop their understanding of the material at a pace that is controlled by the individual student.
منابع مشابه
New Closure Operators and Lattice Representations for Multivalued Dependencies and Related Expressions
In Database Theory, Multivalued Dependencies are the main tool to define the Fourth Normal Form and, as such, their inference problem has been deeply studied; two related notions appearing in that study are a syntactical analog in propositional logic and a restriction that maintains to this logic the same relationship as Functional Dependencies do to Horn logic. We present semantic, lattice-the...
متن کاملA Visualization Tool for Teaching and Learning Database Decomposition System
Database designers and students of computer science in tertiary institutions find it difficult to learn database theory in which database decomposition is a major aspect. This work presents a visualization tool to simplify the study of decomposition algorithms behaviours which would assist the students and database designers to decompose any relational schema with its functional dependencies in...
متن کاملRelational Algebra Teaching Support Tool
In recent years, there has been an increasing supply of digital, pedagogical tools, known as Digital Learning Objects (DLO) – digital resources (image, film, animation, etc.) and software developed specifically for educational purposes. In the area of Computer Science, teaching Databases present a particular challenge because of a lack of quality tools to work with Relational Algebra. The prese...
متن کاملFunctions as types or the "Hoare logic" of functional dependencies
Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional types and an associated type system which is useful for type checking database operations and for query optimization. Such a typed approach to database programming is then shown to be of the same family as other program...
متن کاملA Web-Based Tutoring Tool with Mining Facilities to Improve Learning and Teaching
With the emergence of e-learning, flexible education, and the increasing number of students in some fields, online teaching tools are becoming more and more important. Such tutoring tools allow students to practice at their own pace, providing them with proper explanations and feedback when they make mistakes. They allow for storing complete student answers, including mistakes, in a database. I...
متن کامل